(define (problem BW-generalization-4)
(:domain blocksworld-4ops)(:objects i f c a e k)
(:init 
(handempty)
(ontable i)
(ontable f)
(ontable c)
(ontable a)
(ontable e)
(ontable k)
(clear i)
(clear f)
(clear c)
(clear a)
(clear e)
(clear k)
)
(:goal
(and
(on i f)
(on f c)
(on c a)
(on a e)
(on e k)
)))